Rigorous implementation of real-time systems – from theory to application
نویسندگان
چکیده
منابع مشابه
Real-Time Kinematic Network of Tehran, from Design to Application
Following the request of the Tehran municipality and in order to provide the spatial information required in their various projects, a real-time kinematic network has been designed for Tehran. Based on the existing measures such as the dilution of precision at the network point positions, two different designs have been proposed. A minimum number of six GNSS stations are used in both of the pro...
متن کاملRigorous code generation for distributed real-time embedded systems
This thesis addresses the problem of generating executable code for distributed embedded systems in which computing nodes communicate using the Controller Area Network (CAN). CAN is the dominant network in automotive and factory control systems and is becoming increasingly popular in robotic, medical and avionics applications. The requirements for functional and temporal reliability in these do...
متن کاملA Rigorous Method for Testing Real-Time Reactive Systems
Real-time reactive systems are complex systems to design and verify. Rigorous testing of realtime reactive systems complement the more difficult and expensive formal verification process. This paper gives a rigorous method for black-box testing of real-time reactive systems whose design specifications are given in the Timed Reactive Object Model (TROM) formalism. 1 Introdu tion This paper discu...
متن کاملTransputer Implementation of Parallel Real - Time Systems
The use of transputer family microprocessors in hard real-time control applications is studied. The transputer offers computing performance and architectural features like support of process scheduling and multiprocessing on hardware and language level. Some of these features are efficient for real-time systems, but some contradict with the system performance. Occam process structure is matched...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2013
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s096012951200028x